refinement type造句

例句与造句

1. Petri nets have also been proposed as a possible behavioral model for use with refinement types.
2. It's difficult to find refinement type in a sentence. 用refinement type造句挺难的